Residuation in orthomodular lattices
نویسنده
چکیده
We show that every idempotent weakly divisible residuated lattice satisfying the double negation law can be transformed into an orthomodular lattice. The converse holds if adjointness is replaced by conditional adjointness. Moreover, we show that every positive right residuated lattice satisfying the double negation law and two further simple identities can be converted into an orthomodular lattice. In this case, also the converse statement is true and the corresponence is nearly one-to-one.
منابع مشابه
Orthomodular lattices with fully nontrivial commutators
An orthomodular lattice L is said to have fully nontrivial commutator if the commutator of any pair x, y ∈ L is different from zero. In this note we consider the class of all orthomodular lattices with fully nontrivial commutators. We show that this class forms a quasivariety, we describe it in terms of quasiidentities and situate important types of orthomodular lattices (free lattices, Hilbert...
متن کاملEpimorphisms in Certain Varieties of Algebras
We prove a lemma which, under restrictive conditions, shows that epimorphisms in V are surjective if this is true for epimorphisms from irreducible members of V . This lemma is applied to varieties of orthomodular lattices which are generated by orthomodular lattices of bounded height, and to varieties of orthomodular lattices which are generated by orthomodular lattices which are the horizonta...
متن کاملAmalgamation of Ortholattices
We show that the variety of ortholattices has the strong amalgamation property and that the variety of orthomodular lattices has the strong Boolean amalgamation property, i.e. that two orthomodular lattices can be strongly amalgamated over a common Boolean subalgebra. We give examples to show that the variety orthomodular lattices does not have the amalgamation property and that the variety of ...
متن کاملCompletions of Orthomodular Lattices
If X is a variety of orthomodular lattices generated by a finite orthomodular lattice the MacNeille completion of every algebra in X again belongs to X. AMS subject classilkatioo (1980). 06-xX
متن کاملOn the Lattice of Orthomodular Logics
The upper part of the lattice of orthomodular logics is described. In [1] and [2] Bruns and Kalmbach have described the lower part of the lattice of varieties of orthomodular lattices. They proved that any variety of orthomodular lattices essentially larger than variety generated by a contains at least one of lattices b, c, d, e. (By a, b, c, d, e, f , g we denote the lattice depicted in respec...
متن کامل